5

Belief Revision and Verisimilitude Based on Preference and Truth Orderings

Year:
2011
Language:
english
File:
PDF, 1.78 MB
english, 2011
7

Interpolation in computing science: the semantics of modularization

Year:
2008
Language:
english
File:
PDF, 258 KB
english, 2008
15

Libri novi

Year:
1977
Language:
english
File:
PDF, 201 KB
english, 1977
17

Changing Modalities

Year:
2004
Language:
english
File:
PDF, 239 KB
english, 2004
19

Interpolation in fragments of intuitionistic propositional logic

Year:
1989
Language:
english
File:
PDF, 652 KB
english, 1989
23

Book reviews

Year:
1986
Language:
english
File:
PDF, 118 KB
english, 1986
24

Intracorneal haemorrhage

Year:
1982
Language:
english
File:
PDF, 1.74 MB
english, 1982
27

Extended bar induction in applicative theories

Year:
1990
Language:
english
File:
PDF, 2.84 MB
english, 1990
28

Finite and infinite implementation of transition systems

Year:
2012
Language:
english
File:
PDF, 238 KB
english, 2012
34

Interpolation in propositional Horn logic

Year:
2018
Language:
english
File:
PDF, 386 KB
english, 2018
40

Descriptions in mathematical logic

Year:
1984
Language:
english
File:
PDF, 760 KB
english, 1984
41

The interpolation theorem in fragments of logics

Year:
1981
Language:
english
File:
PDF, 778 KB
english, 1981
50

Interpolation in Fragments of Intuitionistic Propositional Logic

Year:
1989
Language:
english
File:
PDF, 293 KB
english, 1989